Советский философский словарь - минимальная логика
Связанные словари
Минимальная логика
минимальная логика
логич. система, являющаяся ослаблением конструктивной логики и интуиционистской логики за счёт исключения из числа постулатов принципа «из противоречия следует любое предложение». Этот принцип, как и более сильный «закон двойного отрицания» , недоказуем в М. л. Однако в миним. исчислении высказываний всё же можно доказывать от противного отрицат. предложения, опираясь на «закон приведения к абсурду». Логич. средства миним. исчисления предикатов входят в логико-математич. аппарат, используемый в исследованиях по основаниям математики, а также проблем т. н. искусств, интеллекта. Исключение из М. л. «закона приведения к абсурду» приводит к положительной логике, в к-рой вообще нет доказуемых отрицат. предложений.
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1746 | |
2 | 1418 | |
3 | 1218 | |
4 | 1149 | |
5 | 1138 | |
6 | 1101 | |
7 | 907 | |
8 | 835 | |
9 | 791 | |
10 | 759 | |
11 | 753 | |
12 | 733 | |
13 | 703 | |
14 | 702 | |
15 | 700 | |
16 | 684 | |
17 | 680 | |
18 | 656 | |
19 | 650 | |
20 | 631 |